\begin{tabbing}
es{-}real{-}and\=\{i:l\}\+
\\[0ex]($P$; $Q$; $X$; $Y$; $p$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$\langle$1of($X$) $\oplus$ 1of($Y$)\+
\\[0ex]$,\,$TERMOF\{R{-}and{-}rule:ObjectId, 1:l, i:l\}(1of($X$),1of($Y$),$P$,$Q$,2of($X$),2of($Y$),$p$)$\rangle$
\-
\end{tabbing}